Logical frameworks for truth and abstraction - an axiomatic study

Författare
Andrea Cantini
(Andrea Cantini., Includes bibliographical references and index)
Genre
Ej skönlitteratur
Språk
Engelska
Förlag År Ort Om boken ISBN
Elsevier 1996 USA, Amsterdam 461 sidor.